Semide nite programming relaxations for the graph partitioning problem (
نویسندگان
چکیده
A new semide nite programming, SDP, relaxation for the general graph partitioning problem, GP, is derived. The relaxation arises from the dual of the (homogenized) Lagrangian dual of an appropriate quadratic representation of GP. The quadratic representation includes a representation of the 0,1 constraints in GP. The special structure of the relaxation is exploited in order to project onto the minimal face of the cone of positive-semide nite matrices which contains the feasible set. This guarantees that the Slater constraint quali cation holds, which allows for a numerically stable primal–dual interior-point solution technique. A gangster operator is the key to providing an e cient representation of the constraints in the relaxation. An incomplete preconditioned conjugate gradient method is used for solving the large linear systems which arise when nding the Newton direction. Only dual feasibility is enforced, which results in the desired lower bounds, but avoids the expensive primal feasibility calculations. Numerical results illustrate the e cacy of the SDP relaxations. ? 1999 Elsevier Science B.V. All rights reserved. MSC: 90C25; 90C27; 15A48
منابع مشابه
Semide nite Programming and Graph
Semideenite relaxations are used to approximate the problem of partitioning a graph into equally sized components. The relaxations extend previous eigenvalue based models, and combine semideenite and polyhedral approaches. Computational results on graphs with several hundred vertices are given, and indicate that semideenite relaxations approximate the equipartition problem quite well.
متن کاملA spectral bundle method with bounds
Semide nite relaxations of quadratic 0-1 programming or graph partitioning problems are well known to be of high quality. However, solving them by primaldual interior point methods can take much time even for problems of moderate size. The recent spectral bundle method of Helmberg and Rendl can solve quite eÆciently large structured equality-constrained semide nite programs if the trace of the ...
متن کاملLower bounds on the size of semide nite programming relaxations
We introduce amethod for proving lower bounds on the e cacy of semide nite programming (SDP) relaxations for combinatorial problems. In particular, we show that the cut, TSP, and stable set polytopes on n-vertex graphs are not the linear image of the feasible region of any SDP (i.e., any spectrahedron) of dimension less than 2nδ , for some constant δ > 0. This result yields the rst super-polyno...
متن کاملApplication of Semidefinite Programming to Circuit Partitioning
Partitioning Changhui Cris Choi Department of Management S ien es The University of Iowa Iowa City, Iowa 52242, U.S.A. Yinyu Ye Department of Management S ien es The University of Iowa Iowa City, Iowa 52242, U.S.A. August 23, 1999 Abstra t In this paper we apply Semide nite Programming (SDP) to solving the ir uit partition problem. Unlike other lo al sear h methods, we rst translate the hypergr...
متن کاملA Recipe for Semide nite Relaxation for ( 0 , 1 ) - Quadratic
We review various relaxations of (0,1)-quadratic programming problems. These include semideenite programs, parametric trust region problems and concave quadratic maximiza-tion. All relaxations that we consider lead to eeciently solvable problems. The main contributions of the paper are the following. Using Lagrangian duality, we prove equivalence of the relaxations in a uniied and simple way. S...
متن کامل